Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto

In this paper, we propose a domain-specific modeling language for specifying the design of cyber-physical systems. The proposed domain-specific modeling language can capture the control, computing, and communication aspects of a cyber-physical system design in an integrated manner. The concrete syntax of the proposed domainspecific modeling language has been implemented as an extension of standard blocks available in Simulink. The meta-model for the proposed domain-specific modeling language has been defined using the Ecore meta-modeling language, which was originally developed as a part of Eclipse Modeling Framework project. We have also implemented an initial version of a parser that converts Simulink models, employing the proposed domain-specific modeling language, into corresponding Eclipse Modeling Framework instance models, which can then serve as input to model transformation tools. The proposed domain-specific modeling language builds on the concepts introduced by Giotto programming paradigm for platform-independent specification of control law, implemented by the controller in a cyber-physical system.